Works by Ron Van Der Meyden

( view other items matching `Ron van der Meyden`, view all matches )
5 found
Order:
  1.  39
    Complete axiomatizations for reasoning about knowledge and branching time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93 - 123.
    Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  16
    Complete Axiomatizations for Reasoning about Knowledge and Branching Time.Ron van der Meyden & Ka-shu Wong - 2003 - Studia Logica 75 (1):93-123.
    Sound and complete axiomatizations are provided for a number of different logics involving modalities for the knowledge of multiple agents and operators for branching time, extending previous work of Halpern, van der Meyden and Vardi [to appear, SIAM Journal on Computing] for logics of knowledge and linear time. The paper considers the system constraints of synchrony, perfect recall and unique initial states, which give rise to interaction axioms. The language is based on the temporal logic CTL*, interpreted with respect to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   12 citations  
  3. Handbook of Deontic Logic and Normative System, Volume 2.Dov Gabbay, , John Horty, Xavier Parent, Ron van der Meyden & Leon van der Torre (eds.) - forthcoming - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  4. The Handbook of Deontic Logic (Vol. II).Dov Gabbay, Ron van der Meyden, John Horty, Xavier Parent & Leandert van der Torre (eds.) - forthcoming - College Publications.
    No categories
     
    Export citation  
     
    Bookmark  
  5.  17
    Selected and revised papers from the Ninth International Conference on Deontic Logic in Computer Science.Ron van der Meyden & Leon van der Torre - 2011 - Journal of Applied Logic 9 (2):81-82.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark